Quantifying Information Flow

Quantitative Aspects of Security Seminar Winter Semester 2006-2007 Quantifying Information Flow

Novel Methods for Measuring Depth of Anesthesia by Quantifying Dominant Information Flow in Multichannel EEGs

In this paper, we propose novel methods for measuring depth of anesthesia (DOA) by quantifying dominant information flow in multichannel EEGs. Conventional methods mainly use few EEG channels independently and most of multichannel EEG based studies are limited to specific regions of the brain. Therefore the function of the cerebral cortex over wide brain regions is hardly reflected in DOA measu...

Quantifying Probabilistic Information Flow in Computational Reactive Systems

Information flow and non-interference are well-established techniques for expressing both integrity and privacy properties. Because of the enormous potential to transmit information using probabilistic methods of cryptography, interest has arisen in extending the traditional notions of information flow to fully reactive settings that allow for reasoning about arbitrary interactive systems, and ...

Quantitative Information Flow for Security: A Survey

Information-flow security enforces limits on the use of information that cover both access and propagate in programs. Quantifying and measuring information flow in software has recently become an active research topic in computer security community. There has been a significant activity around the question of how to measure the amount of information flow caused by interference between variables...

Quantifying Security for Timed Process Algebras

A quantification of process’s security by quantification of an amount of information flow is defined and studied in the framework of timed process algebras. The resulting quantified security is compared with other (qualitative) security notions. Unprecise and limited observations are defined and discussed.